ok(X,Y) :- (X / Y) > 0.1.

run(X,Y) :- (ok(X,Y) -> print(user_output, 'true.\n'); print(user_output, 'fail.\n')).
